‘EPITAFIUM ALII POTESTAS’ (CIL VI 37965)

CIL + Metadata > Executable Program

Execution environments like Java Virtual Machine and Microsoft CLR rely on executables containing information about types and their structure. Method bodies are expressed in an intermediate language rather than machine dependent code to allow verification. Although intermediate language and metadata are required by the execution engine, the information available can be used for other purposes. ...

Optimizing Protocol Rewrite Rules of CIL Specifications

For purposes of security analysis, cryptographic protocols can be translated from a high-level message-list language like CAPSL into a multiset rewriting (MSR) rule language like CIL. The natural translation creates two rules per message or computational action. We show how to optimize the natural rule set by about 50% into a form similar to the result of hand encoding, and prove that the trans...

Myristoylated CIL-7 regulates ciliary extracellular vesicle biogenesis

The cilium both releases and binds to extracellular vesicles (EVs). EVs may be used by cells as a form of intercellular communication and mediate a broad range of physiological and pathological processes. The mammalian polycystins (PCs) localize to cilia, as well as to urinary EVs released from renal epithelial cells. PC ciliary trafficking defects may be an underlying cause of autosomal domina...

Design of a CIL Conne tor to Maude

Automatic Contract Extraction: Developing a CIL Parser PROJECT DESCRIPTION

Although Design by Contract, as supported by Eiffel (see [2] and [7]), has been shown to provide several benefits, it is not widely used yet. The question arises whether there are implicit, so called “closet contracts” hidden in the documentation or code, even if the underlying language and method do not support them explicitly. This has led to the “Closet Contract Conjecture”, described by Kar...